Theory of computation - PDFSEARCH.IO - Document Search Engine

Theory of computation
Results: 2087

#	Item
581	Notes for the Lifebox, the Seashell, and the Soul Add to Reading List Source URL: www.rudyrucker.com Language: English - Date: 2014-05-29 21:49:28 Computability theory Models of computation Theory of computation Formal methods A New Kind of Science Turing machine Rudy Rucker Halting problem Quantum computer Theoretical computer science Applied mathematics Mathematics
582	Models of Computation Lecture 8: Undecidiability [Fa’14] Caveat lector: This is the zeroth (draft) edition of this lecture note. Please send bug reports and suggestions to . Add to Reading List Source URL: web.engr.illinois.edu Language: English - Date: 2014-12-28 09:05:16 Computability theory Theory of computation Turing machine Models of computation Universal Turing machine Computability Reduction NP Halting problem Theoretical computer science Applied mathematics Mathematics
583	Space and energy efficient computation with DNA strand displacement systems Chris Thachuk and Anne Condon Department of Computer Science, University of British Columbia, Vancouver, BC, Canada Abstract. Chemical reaction Add to Reading List Source URL: www-devel.cs.ubc.ca Language: English - Date: 2012-06-17 22:22:27 Complexity classes True quantified Boolean formula NL Reversible computing PSPACE-complete PP DSPACE IP Computation Theoretical computer science Computational complexity theory Applied mathematics
584	AISB Journal The Interdisciplinary Journal of Artificial Intelligence and the Simulation of Behaviour Volume 1 – Number 3 – July 2003 Add to Reading List Source URL: aisb.org.uk Language: English - Date: 2009-11-25 04:40:20 Applied mathematics Computability theory Alan Turing Models of computation Hypercomputation Turing machine Computability Cellular neural network Neural network Computer science Theoretical computer science Theory of computation
585	Molecular Computing Machines M Yaakov Benenson Ehud Shapiro Add to Reading List Source URL: www.dna.caltech.edu Language: English - Date: 2015-01-29 12:27:14 Turing machine Automata theory Models of computation Computability theory Read-only Turing machine Finite-state machine DNA computing Computability Deterministic automaton Theory of computation Theoretical computer science Applied mathematics
586	Counting points on projective hypersurfaces David Harvey New York University 19th October 2010 Workshop on Elliptic Curve Computation Add to Reading List Source URL: web.maths.unsw.edu.au Language: English - Date: 2011-07-17 23:06:27 Algebraic geometry Projective geometry Homological algebra Analytic number theory Elliptic curve Group theory Degree of an algebraic variety Weil conjectures Ample line bundle Abstract algebra Mathematics Geometry
587	Position Statement Radu Grosu Department of Computer Science State University of New York at Stony Brook Stony Brook, NY, USA email: Add to Reading List Source URL: ti.tuwien.ac.at Language: English - Date: 2012-06-28 12:13:04 Systems theory Knowledge Signal processing Automata theory Models of computation Discrete mathematics Discrete system Model checking Signal Science Cybernetics Applied mathematics
588	On the Power of Coercion Abstraction Julien Cretin Didier Rémy INRIA Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2012-02-08 07:43:20 Type theory Models of computation Lambda calculus Data types Computability theory Simply typed lambda calculus ALGOL 68 Type system Programming Computable Functions Programming language theory Theoretical computer science Computer science
589	PDF Document Add to Reading List Source URL: ti.tuwien.ac.at Language: English - Date: 2012-06-28 12:52:25 Software engineering Logic in computer science Programming paradigms Association for Computing Machinery Models of computation Automata theory SIGNAL Formal verification Programming language Formal methods Computing Theoretical computer science
590	Models of Computation Lecture 6: Turing Machines [Fa’14] Caveat lector: This is the zeroth (draft) edition of this lecture note. In particular, some topics still need to be written. Please send bug reports and suggest Add to Reading List Source URL: web.engr.illinois.edu Language: English - Date: 2014-12-28 09:05:13 Computability theory Computer science Alan Turing Models of computation Computability Halting problem Church–Turing thesis Description number Non-deterministic Turing machine Turing machine Theory of computation Theoretical computer science

UPDATE